E. Langages, expressions rationnelles et automates